41. Automata languages, and machines

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Sequential machine theory,Formal languages,Automata

رده :
629
.
891
E34a

42. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
267
.
5
.
S4
C63
1977

43. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(

رده :
QA
267
.
5
.
S4
.
I47
1981

44. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(

رده :
QA
267
.
5
.
S4
.
I47
1980

45. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
226

46. Automata-theoretic aspects of formal power series

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Sequential machine theory,، Formal languages,، Power series

رده :
QA
267
.
5
.
S4S29
1978

47. Automatic sequences

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Sequential machine theory,Sequences (Mathematics)

رده :
QA267
.
5
.
S4
,
A55
2003

48. Automatic sequences

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Sequential machine theory,Sequences (Mathematics)

رده :
QA267
.
5
.
S4
,
A55
2003

49. Automatic sequences :theory, applications, generalizations]CD[

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Sequential machine theory,، Sequences )Mathematics(

رده :
CD
1742-17

50. Automatic sequences : theory, applications, generalizations

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Sequential machine theory,، Sequences )Mathematics(

رده :
QA
267
.
5
.
S4A55

51. Automatic sequences : theory, applications, generalizations

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Sequential machine theory,، Sequences )Mathematics(

رده :
QA
267
.
5
.
S4A448

52. Automatismes a sequences et commandes numeriques

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع : ، Electronic digital computers- circuits,، Sequential machine theory,، Digiatal counters

رده :
TK
7888
.
3
.
F55

53. Buchi's monadic second order successor arithmetic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Predicate calculus,، Sequential machine theory

رده :
QA
3
.
L28
no
.
120

54. Buchi's monadic second order successor arithmetic

پدیدآورنده :

موضوع : ، Predicate calculus,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

55. Buchi`s monadic second order successor arithmetic

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع : Predicate calculus,Sequential machine theory

رده :
QA
3
.
L28
no
.
120

56. Checking Experiments in Sequential Machines

پدیدآورنده :

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع : Fault tolerant computing,Sequential machine theory,Electronic digital computers-Testing

رده :
QA
76
.
9
.
F38B47
1989

57. Checking experiments in sequential machiness

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)

موضوع : Sequential machine theory

58. Checking experiments in sequential machines

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Foult tolerant computing,، Sequential machine theory,، Electronic digital computer-Testing

رده :
QA
76
.
9
F38
B47

59. Circuits logiques et automatismes a sequences

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Switching theory,، Ore deposits,، Mines and mineral resources,، Sequential machine theory

رده :
TK
7868
.
S9
N3
1965

60. Combinatorics on traces

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Sequential machine theory,، Formal languages

رده :
QA
267
.
5
.
S4
.
D54
1990